Search results for "formal semantics"
showing 6 items of 6 documents
A Formalism Supplementing Cognitive Semantics Based on Mereology
2007
ABSTRACT This paper is motivated by and aims to supplement Cognitive Semantics. Details of this latter prominent approach within contemporary linguistic research will not be discussed here. Rather, we focus on a formalization of the concept of Gestalt and provide a formal semantics that can be used to interpret a certain formal language (LM 0) with respect to a universe of structured wholes (Gestalts). Since a great deal of the analyses of linguistic organization that has been provided by Cognitive Semantics since the mid-1970s is based on the concept of Gestalt, the semantics unfolded in the following may be viewed as an attempt to provide a starting point for supplementing the yet informa…
On Referring to Gestalts
2010
This paper discusses a fresh approach to formal semantics based on mereology and Gestalt Theory. While Wiegand (2007, Spacial Cognition & Computation, Mahwah, NJ: Erlbaum) unfolds the technical details of this new approach, the following paper aims to discuss the philosophical motivation an implications of what I have called mereological semantics. Particular attention will be given to an ongoing debate on the nature of relations.
A Formal Semantics and a Client Synthesis for a BPEL Service
2008
A complex Web service described with languages like BPEL4WS, consists of an executable process and its observable behaviour (called an abstract process) based on the messages exchanged with the client. The abstract process behaviour is non deterministic due to the internal choices during the service execution. Furthermore the specification often includes timing constraints which must be taken into account by the client. Thus given a service specification, we identify the synthesis of a client as a key issue for the development of Web services. To this end, we propose an approach based on (dense) timed automata to first describe the observable service behaviour and then to build correct inte…
A Semantic Web Approach for Geodata Discovery
2013
International audience; Currently, vast amounts of geospatial information are o ffered through OGC's services. However this information has limited formal semantics. The most common method to search for a dataset consists in matching keywords to metadata elements. By adding semantics to available descriptions we could use modern inference and reasoning mechanisms currently available in the SemanticWeb. In this paper we present a novel architecture currently in development in which we use state of the art triplestores as the backend of a CSW service. In our approach, each metadata record is considered an instance of a given class in a domain ontology. Our architecture also adds a spatial dat…
Conceptual graph operations for formal visual reasoning in the medical domain
2014
International audience; Objective - Conceptual graphs (CGs) are used to represent clinical guidelines because they support visual reasoning with a logical background, making them a potentially valuable representation for guidelines.Materials and methods - Conceptual graph formalism has an essential and basic component: a formal vocabulary that drives all of the other mechanisms, notably specialization and projection. The graph's theoretical operations, such as projection, rules, derivation, constraints, probabilities and uncertainty, support diagrammatic reasoning.Results - A conceptual graph's graphical user interface includes a multilingual vocabulary management, some query and decision-m…
The semantics of complex demonstratives: a defense of character theories
2021
Aquesta tesi defensa una aproximació tradicional a la semàntica de demostratius complexos, ço és, expressions com "aquesta taula" o "aquell home". A la teoria clàssica, els demostratius complexos funcionen com qualsevol altre díctic: tal com ocorre amb paraules com ara "jo", "ella" o "ací", es tracta termes que depenen del context i que estan dotats d'un significat descriptiu anomenat "caràcter" que ajuda a fixar-ne referent en cada situació d’ús però que no juga cap més rol una vegada aquest individu ha estat determinat. El seu contingut o contribució proposicional és, al seu torn, un simple objecte. Aquest model dels demostratius complexos es troba justificat en la mesura que les expressi…